4

A Calculus of Components with Dynamic Type-Checking

Year:
2007
Language:
english
File:
PDF, 424 KB
english, 2007
11

A Free Construction of Dynamic Terms

Year:
1996
Language:
english
File:
PDF, 561 KB
english, 1996
12

Parametric channels via label expressions in CCS

Year:
1984
Language:
english
File:
PDF, 1.94 MB
english, 1984
13

A Parametric Calculus for Mobile Open Code

Year:
2008
Language:
english
File:
PDF, 373 KB
english, 2008
15

From static to dynamic abstract data-types: an institution transformation

Year:
1999
Language:
english
File:
PDF, 3.33 MB
english, 1999
19

Deriving Proof Rules from Continuation Semantics

Year:
1999
Language:
english
File:
PDF, 193 KB
english, 1999
20

A Calculus for Reconfiguration: (Extended abstract)

Year:
2006
Language:
english
File:
PDF, 263 KB
english, 2006
30

A meta-circular language for active libraries

Year:
2014
Language:
english
File:
PDF, 2.82 MB
english, 2014
31

A calculus of open modules: call-by-need strategy and confluence

Year:
2007
Language:
english
File:
PDF, 720 KB
english, 2007
33

D-oids: a model for dynamic data-types

Year:
1995
Language:
english
File:
PDF, 1.50 MB
english, 1995
34

A theory of mixin modules: algebraic laws and reduction semantics

Year:
2002
Language:
english
File:
PDF, 643 KB
english, 2002
35

MetaFJig

Year:
2010
Language:
english
File:
PDF, 709 KB
english, 2010
44

A calculus of module systems

Year:
2002
Language:
english
File:
PDF, 481 KB
english, 2002
45

A theory of mixin modules: basic and derived operators

Year:
1998
Language:
english
File:
PDF, 435 KB
english, 1998
46

Incremental Rebinding with Name Polymorphism

Year:
2016
Language:
english
File:
PDF, 283 KB
english, 2016
47

An Imperative Pure Calculus

Year:
2016
Language:
english
File:
PDF, 259 KB
english, 2016
49

Principal typings for Java-like languages

Year:
2004
Language:
english
File:
PDF, 167 KB
english, 2004